Stronger case for osteocalcin

Priority Setting on the Path to UHC: Time for Stronger Institutions and Stronger Health Systems: Response to Recent Commentaries

Empirical support for cardiovascular health: the case gets even stronger.

Recently, the American Heart Association (AHA) adopted a new and ambitious strategic goal: “by 2020, to improve the cardiovascular health of all Americans by 20% while reducing deaths from cardiovascular disease by 20%.”1 In the process, it defined a new concept, cardiovascular health, which comprises 7 components: 4 ideal health behaviors (nonsmoking, body mass index 25 kg/m, physical activity...

Stronger compositions for retrenchments

Noting that the usual ‘propositionally’ based way of composing retrenchments can yield many ‘junk’ cases, alternative approaches to composition are introduced (via notions of tidy, neat, and fastidious retrenchments) that behave better in this regard. These alternatives do however make other issues such as associativity harder. The technical details are presented for vertical composition of ret...

Diagnostic Utility of Osteocalcin, Undercarboxylated Osteocalcin, and Alkaline Phosphatase for Osteoporosis in Premenopausal and Postmenopausal Women

BACKGROUND We aimed to investigate the diagnostic utility of osteocalcin (OC), undercarboxylated osteocalcin (ucOC), and alkaline phosphatase (ALP) in pre- and postmenopausal women for femoral neck, L1-4, and L2-4 bone mineral density (BMD) values by taking into consideration their age, body mass index (BMI), and menopausal status. METHODS Premenopausal (N=40) and postmenopausal cases (N=42) ...

On Stronger Calculi for QBFs

Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order formulas exist. We analyze different translations and show that first-order resolution combined with such translations can polynomially simulate we...